#include <stdio.h>
#include <unistd.h>
#include <string.h>

int main()
{
    printf("pid: %d\n", getpid());

    const char *message = "hello Linux message";
    fprintf(stdout, "%s: %d\n", message, 1234);

    return 0;
}


